Type Reconstruction for SCI
نویسندگان
چکیده
We present a type reconstruction algorithm for SCIR [10], a type system for a language with syntactic control of interference. SCIR guarantees that terms of passive type do not cause any side effects, and that distinct identifiers do not interfere. A reconstruction algorithm for this type system must deal with different kinds (passive and general) and different uses of identifiers (passive and active). In particular, there may not be a unique choice of kinds for type variables. Our work extends SCIR typings with kind constraints. We show that principal type schemes exist for this extended system and outline an algorithm for computing them.
منابع مشابه
Patient Race and Provider Predict Patient Satisfaction Following Post-Mastectomy Breast Reconstruction
BACKGROUND Post-mastectomy breast reconstruction is commonly performed in the United States with numerous options available to patients and providers. This study evaluated patient race and provider in prediction of patient satisfaction following post-mastectomy breast reconstruction. METHODS The patient satisfaction for women who underwent post mastectomy breast reconstruction at U...
متن کاملType Reconstruction for Sci, Part 2
Syntactic Control of Interference (SCI) Rey78] has long been studied as a basis for interference-free programming, with cleaner reasoning properties and semantics than traditional imperative languages. This paper makes SCI-based languages more practical by introducing a revised version of Huang and Reddy's type reconstruction system HR96] with two signiicant improvements. First, we eliminate th...
متن کاملAnterior Cruciate Ligament Reconstruction with or without Bracing
Background: Rupture of anterior cruciate ligament (ACL) would cause instability and disability and if left untreated. Reconstruction is performed by different techniques including patellar bone graft, as the strongest device. Application of brace after ACL reconstructions has revealed doubtful results. Methods: One hundred ACL ruptured patients randomized into two groups were reconstructed with...
متن کاملType Reconstruction for Syntactic Control of Interference Part
Syntactic Control of Interference SCI has long been studied as a basis for interference free program ming with cleaner reasoning properties and seman tics than traditional imperative languages This paper improves upon Huang and Reddy s type inference system for SCI based languages in two signi cant ways First we eliminate the need for explicit coercion operators in terms Second we consider addi...
متن کاملType Reconstruction for Syntactic Control of Interference, Part 2
Syntactic Control of Interference (SCI) 17] has long been studied as a basis for interference-free programming , with cleaner reasoning properties and semantics than traditional imperative languages. This paper improves upon Huang and Reddy's type inference system 7] for SCI-based languages in two signiicant ways. First, we eliminate the need for explicit coercion operators in terms. Second, we...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1995